1

Sheaf Constructions and Their Elementary Properties

Année:
1979
Langue:
english
Fichier:
PDF, 4.10 MB
english, 1979
2

THE HORN THEORY OF BOOLE'S PARTIAL ALGEBRAS

Année:
2013
Langue:
english
Fichier:
PDF, 750 KB
english, 2013
3

A note on algebraically and existentially closed structures

Année:
1987
Langue:
english
Fichier:
PDF, 86 KB
english, 1987
4

Tarski's High School Identities

Année:
1993
Langue:
english
Fichier:
PDF, 536 KB
english, 1993
5

TERM REWRITE RULES FOR FINITE FIELDS

Année:
1991
Langue:
english
Fichier:
PDF, 539 KB
english, 1991
6

The Equivalence Problem for Finite Rings

Année:
1993
Fichier:
PDF, 119 KB
1993
7

Partition identities II. The results of Bateman and Erdős

Année:
2006
Langue:
english
Fichier:
PDF, 257 KB
english, 2006
8

Finite axiomatizations for existentially closed posets and semilattices

Année:
1986
Langue:
english
Fichier:
PDF, 460 KB
english, 1986
9

Elementary and algebraic properties of the Arens-Kaplansky constructions

Année:
1986
Langue:
english
Fichier:
PDF, 1.52 MB
english, 1986
10

Results on the equivalence problem for finite groups

Année:
2005
Langue:
english
Fichier:
PDF, 132 KB
english, 2005
11

Boolean powers

Année:
1975
Langue:
english
Fichier:
PDF, 1.03 MB
english, 1975
12

An example concerning definable principal congruences

Année:
1977
Langue:
english
Fichier:
PDF, 60 KB
english, 1977
13

Definable principal congruences in varieties of groups and rings

Année:
1979
Langue:
english
Fichier:
PDF, 487 KB
english, 1979
14

SMALL MODELS OF THE HIGH SCHOOL IDENTITIES

Année:
1992
Langue:
english
Fichier:
PDF, 1.12 MB
english, 1992
16

Sheaf constructions and their elementary properties

Année:
1979
Langue:
english
Fichier:
PDF, 3.64 MB
english, 1979
17

Tarski's High School Identities

Année:
1993
Langue:
english
Fichier:
PDF, 488 KB
english, 1993
18

The Model Completion of the Class of ℒ-Structures

Année:
1987
Langue:
english
Fichier:
PDF, 116 KB
english, 1987
19

Decidable Model Companions

Année:
1989
Langue:
english
Fichier:
PDF, 173 KB
english, 1989
20

Model Companions with Finitely Many Countable Models

Année:
1994
Langue:
english
Fichier:
PDF, 111 KB
english, 1994
21

Polynomial Time Uniform Word Problems

Année:
1995
Langue:
english
Fichier:
PDF, 587 KB
english, 1995
22

Discriminator varieties and symbolic computation

Année:
1992
Langue:
english
Fichier:
PDF, 1.78 MB
english, 1992
23

Iterated discriminator varieties have undecidable theories

Année:
1985
Langue:
english
Fichier:
PDF, 287 KB
english, 1985
24

Remarks on the Fraser-Horn property

Année:
1986
Langue:
english
Fichier:
PDF, 156 KB
english, 1986
25

Expanding varieties by monoids of endomorphisms

Année:
1983
Langue:
english
Fichier:
PDF, 617 KB
english, 1983
26

Discriminator polynomials and arithmetical varieties

Année:
1985
Langue:
english
Fichier:
PDF, 127 KB
english, 1985
27

A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups

Année:
1985
Langue:
english
Fichier:
PDF, 90 KB
english, 1985
28

The equational theory of a nontrivial discriminator variety is co-NP-hard

Année:
2005
Langue:
english
Fichier:
PDF, 158 KB
english, 2005
29

The saga of the High School Identities

Année:
2005
Langue:
english
Fichier:
PDF, 247 KB
english, 2005
30

Mailbox¶Boolean products of indecomposables

Année:
2002
Langue:
english
Fichier:
PDF, 125 KB
english, 2002
31

Unification in commutative rings is not finitary

Année:
1990
Langue:
english
Fichier:
PDF, 155 KB
english, 1990
33

Remarks on Boolean products

Année:
1980
Langue:
english
Fichier:
PDF, 507 KB
english, 1980
34

Free algebras as subdirect products

Année:
1980
Langue:
english
Fichier:
PDF, 47 KB
english, 1980
35

The first order theory of Boolean algebras with a distinguished group of automorphisms

Année:
1982
Langue:
english
Fichier:
PDF, 231 KB
english, 1982
36

Two examples concerning the definability of the disjointness property of principal congruences

Année:
1981
Langue:
english
Fichier:
PDF, 175 KB
english, 1981
37

A note on directly indecomposable algebras

Année:
1982
Langue:
english
Fichier:
PDF, 60 KB
english, 1982
38

Separating sets in modular lattices with applications to congruence lattices

Année:
1975
Langue:
english
Fichier:
PDF, 427 KB
english, 1975
39

Lattice-theoretic decision problems in universal algebra

Année:
1975
Langue:
english
Fichier:
PDF, 732 KB
english, 1975
40

Rigid Boolean powers

Année:
1978
Langue:
english
Fichier:
PDF, 96 KB
english, 1978
41

Bounded Boolean powers and ≡n

Année:
1978
Langue:
english
Fichier:
PDF, 56 KB
english, 1978
43

Reply

Année:
2007
Langue:
english
Fichier:
PDF, 54 KB
english, 2007
46

ABSTRACT NUMBER SYSTEMS AND LOGICAL LIMIT LAWS

Année:
2001
Langue:
english
Fichier:
PDF, 151 KB
english, 2001
47

On the structure of the lattice of equational classes ℒ (τ)

Année:
1971
Langue:
english
Fichier:
PDF, 298 KB
english, 1971
48

Septicemia and subperiosteal cephalhematomas

Année:
1966
Langue:
english
Fichier:
PDF, 255 KB
english, 1966
50

A DIRECTLY REPRESENTABLE VARIETY HAS A DISCRETE FIRST-ORDER LAW

Année:
1996
Langue:
english
Fichier:
PDF, 312 KB
english, 1996